[next] [prev] [prev-tail] [tail] [up]

2.2.6 Integrals 501 to 600

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 501

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

86 86 83 118 0 332 0 150 92

N.S.

1 1.00 0.97 1.37 0.00 3.86 0.00 1.74 1.07

time (sec)

N/A 0.073 0.250 0.122 0.000 2.910 0.000 0.472 1.043

Problem 502

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 138 151 0 484 0 179 2886

N.S.

1 1.00 1.27 1.39 0.00 4.44 0.00 1.64 26.48

time (sec)

N/A 0.112 0.501 0.127 0.000 3.546 0.000 0.463 6.672

Problem 503

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 172 184 0 565 0 837 3169

N.S.

1 1.00 1.18 1.26 0.00 3.87 0.00 5.73 21.71

time (sec)

N/A 0.233 0.787 0.152 0.000 3.294 0.000 0.547 7.011

Problem 504

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

208 208 144 224 0 660 0 264 2500

N.S.

1 1.00 0.69 1.08 0.00 3.17 0.00 1.27 12.02

time (sec)

N/A 0.404 0.822 0.193 0.000 3.486 0.000 0.494 8.323

Problem 505

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

261 261 176 263 0 757 0 335 2500

N.S.

1 1.00 0.67 1.01 0.00 2.90 0.00 1.28 9.58

time (sec)

N/A 0.581 1.139 0.211 0.000 2.731 0.000 0.461 9.085

Problem 506

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

230 230 205 296 0 1354 0 383 2500

N.S.

1 1.00 0.89 1.29 0.00 5.89 0.00 1.67 10.87

time (sec)

N/A 0.488 4.866 0.517 0.000 4.204 0.000 0.563 9.290

Problem 507

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

188 188 194 255 0 1153 0 347 2500

N.S.

1 1.00 1.03 1.36 0.00 6.13 0.00 1.85 13.30

time (sec)

N/A 0.291 1.395 0.439 0.000 3.750 0.000 0.506 9.497

Problem 508

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 113 184 0 594 0 253 204

N.S.

1 1.00 0.76 1.23 0.00 3.99 0.00 1.70 1.37

time (sec)

N/A 0.168 0.447 0.243 0.000 2.576 0.000 0.513 3.235

Problem 509

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

134 134 115 195 0 565 0 277 210

N.S.

1 1.00 0.86 1.46 0.00 4.22 0.00 2.07 1.57

time (sec)

N/A 0.140 0.412 0.202 0.000 3.220 0.000 0.534 3.374

Problem 510

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

133 133 115 186 0 595 0 254 204

N.S.

1 1.00 0.86 1.40 0.00 4.47 0.00 1.91 1.53

time (sec)

N/A 0.127 0.493 0.184 0.000 2.969 0.000 0.530 3.183

Problem 511

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

173 173 205 237 0 919 0 322 2500

N.S.

1 1.00 1.18 1.37 0.00 5.31 0.00 1.86 14.45

time (sec)

N/A 0.228 0.806 0.182 0.000 3.157 0.000 0.468 9.222

Problem 512

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

223 223 229 270 0 1037 0 357 2500

N.S.

1 1.00 1.03 1.21 0.00 4.65 0.00 1.60 11.21

time (sec)

N/A 0.445 0.912 0.230 0.000 2.781 0.000 0.552 8.999

Problem 513

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

296 296 199 310 0 1158 0 1723 2500

N.S.

1 1.00 0.67 1.05 0.00 3.91 0.00 5.82 8.45

time (sec)

N/A 0.670 2.127 0.254 0.000 3.468 0.000 0.736 9.285

Problem 514

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

316 316 416 425 0 2058 0 592 2500

N.S.

1 1.00 1.32 1.34 0.00 6.51 0.00 1.87 7.91

time (sec)

N/A 0.760 6.245 0.431 0.000 7.758 0.000 0.548 10.358

Problem 515

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

259 259 250 383 0 1822 0 559 2500

N.S.

1 1.00 0.97 1.48 0.00 7.03 0.00 2.16 9.65

time (sec)

N/A 0.522 4.244 0.832 0.000 7.202 0.000 0.547 12.448

Problem 516

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

222 222 158 285 0 903 0 403 378

N.S.

1 1.00 0.71 1.28 0.00 4.07 0.00 1.82 1.70

time (sec)

N/A 0.303 1.061 0.398 0.000 3.461 0.000 0.516 4.413

Problem 517

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

206 206 165 294 0 902 0 431 380

N.S.

1 1.00 0.80 1.43 0.00 4.38 0.00 2.09 1.84

time (sec)

N/A 0.244 1.132 0.371 0.000 2.818 0.000 0.583 4.379

Problem 518

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

192 192 164 297 0 901 0 431 382

N.S.

1 1.00 0.85 1.55 0.00 4.69 0.00 2.24 1.99

time (sec)

N/A 0.222 1.264 0.298 0.000 2.913 0.000 0.526 4.343

Problem 519

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

184 184 163 284 0 905 0 403 378

N.S.

1 1.00 0.89 1.54 0.00 4.92 0.00 2.19 2.05

time (sec)

N/A 0.212 1.204 0.277 0.000 3.097 0.000 0.520 4.320

Problem 520

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

242 242 268 365 0 1456 0 532 2500

N.S.

1 1.00 1.11 1.51 0.00 6.02 0.00 2.20 10.33

time (sec)

N/A 0.396 1.498 0.240 0.000 3.095 0.000 0.466 12.790

Problem 521

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

299 299 293 399 0 1603 0 564 2500

N.S.

1 1.00 0.98 1.33 0.00 5.36 0.00 1.89 8.36

time (sec)

N/A 0.726 1.683 0.323 0.000 3.315 0.000 0.492 10.384

Problem 522

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

387 387 326 439 0 1767 0 615 2500

N.S.

1 1.00 0.84 1.13 0.00 4.57 0.00 1.59 6.46

time (sec)

N/A 0.981 6.378 0.359 0.000 3.673 0.000 0.503 10.803

Problem 523

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 30 32 47 33 0 30 21

N.S.

1 1.00 0.97 1.03 1.52 1.06 0.00 0.97 0.68

time (sec)

N/A 0.024 0.058 0.059 0.457 2.785 0.000 0.421 0.824

Problem 524

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

56 56 73 58 88 73 0 59 52

N.S.

1 1.00 1.30 1.04 1.57 1.30 0.00 1.05 0.93

time (sec)

N/A 0.059 0.188 0.068 0.463 2.579 0.000 0.424 0.859

Problem 525

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 108 74 131 116 0 75 79

N.S.

1 1.00 1.33 0.91 1.62 1.43 0.00 0.93 0.98

time (sec)

N/A 0.082 0.358 0.076 0.464 3.626 0.000 0.463 0.907

Problem 526

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

106 106 141 87 171 159 0 88 105

N.S.

1 1.00 1.33 0.82 1.61 1.50 0.00 0.83 0.99

time (sec)

N/A 0.111 0.555 0.089 0.488 3.719 0.000 0.441 1.094

Problem 527

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

70 70 69 46 70 52 0 43 21

N.S.

1 1.00 0.99 0.66 1.00 0.74 0.00 0.61 0.30

time (sec)

N/A 0.026 0.064 0.066 0.462 2.963 0.000 0.439 0.875

Problem 528

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 162 76 111 102 0 69 52

N.S.

1 1.00 1.71 0.80 1.17 1.07 0.00 0.73 0.55

time (sec)

N/A 0.067 0.167 0.067 0.457 2.618 0.000 0.427 0.881

Problem 529

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

120 120 241 106 155 155 0 85 78

N.S.

1 1.00 2.01 0.88 1.29 1.29 0.00 0.71 0.65

time (sec)

N/A 0.101 0.333 0.073 0.484 2.819 0.000 0.448 0.953

Problem 530

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

145 145 344 136 194 208 0 98 105

N.S.

1 1.00 2.37 0.94 1.34 1.43 0.00 0.68 0.72

time (sec)

N/A 0.126 0.533 0.085 0.463 2.659 0.000 0.436 1.099

Problem 531

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

292 292 401 1584 0 0 0 0 -1

N.S.

1 1.00 1.37 5.42 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.299 30.008 0.918 0.000 0.000 0.000 0.000 0.000

Problem 532

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

241 241 293 914 0 0 0 0 -1

N.S.

1 1.00 1.22 3.79 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.189 14.438 0.215 0.000 0.000 0.000 0.000 0.000

Problem 533

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

209 209 232 814 0 0 0 0 -1

N.S.

1 1.00 1.11 3.89 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.107 9.897 0.181 0.000 0.000 0.000 0.000 0.000

Problem 534

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

125 125 151 215 0 0 0 0 -1

N.S.

1 1.00 1.21 1.72 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.021 1.749 0.247 0.000 0.000 0.000 0.000 0.000

Problem 535

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

330 330 2713 829 0 0 0 0 -1

N.S.

1 1.00 8.22 2.51 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.221 18.360 0.256 0.000 0.000 0.000 0.000 0.000

Problem 536

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

396 396 1173 1254 0 0 0 0 -1

N.S.

1 1.00 2.96 3.17 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.374 18.338 0.208 0.000 0.000 0.000 0.000 0.000

Problem 537

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

405 405 550 2522 0 0 0 0 -1

N.S.

1 1.00 1.36 6.23 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.559 17.962 0.685 0.000 0.000 0.000 0.000 0.000

Problem 538

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

342 342 471 1852 0 0 0 0 -1

N.S.

1 1.00 1.38 5.42 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.410 14.218 0.355 0.000 0.000 0.000 0.000 0.000

Problem 539

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

282 282 408 1566 0 0 0 0 -1

N.S.

1 1.00 1.45 5.55 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.276 13.390 0.277 0.000 0.000 0.000 0.000 0.000

Problem 540

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

249 249 304 1106 0 0 0 0 -1

N.S.

1 1.00 1.22 4.44 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.202 10.256 0.192 0.000 0.000 0.000 0.000 0.000

Problem 541

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

309 309 882 1199 0 0 0 0 -1

N.S.

1 1.00 2.85 3.88 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.151 17.535 0.181 0.000 0.000 0.000 0.000 0.000

Problem 542

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

334 334 439 1029 0 0 0 0 -1

N.S.

1 1.00 1.31 3.08 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.238 12.380 0.203 0.000 0.000 0.000 0.000 0.000

Problem 543

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

390 390 1159 1440 0 0 0 0 -1

N.S.

1 1.00 2.97 3.69 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.378 18.035 0.183 0.000 0.000 0.000 0.000 0.000

Problem 544

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) F F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

463 463 615 2806 0 0 0 0 -1

N.S.

1 1.00 1.33 6.06 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.707 17.212 0.875 0.000 0.000 0.000 0.000 0.000

Problem 545

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

399 399 552 2523 0 0 0 0 -1

N.S.

1 1.00 1.38 6.32 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.523 16.562 0.533 0.000 0.000 0.000 0.000 0.000

Problem 546

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

333 333 474 1852 0 0 0 0 -1

N.S.

1 1.00 1.42 5.56 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.390 13.928 0.347 0.000 0.000 0.000 0.000 0.000

Problem 547

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

296 296 440 1775 0 0 0 0 -1

N.S.

1 1.00 1.49 6.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.314 16.447 0.276 0.000 0.000 0.000 0.000 0.000

Problem 548

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

352 352 713 1514 0 0 0 0 -1

N.S.

1 1.00 2.03 4.30 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.227 17.726 0.205 0.000 0.000 0.000 0.000 0.000

Problem 549

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

353 353 454 1640 0 0 0 0 -1

N.S.

1 1.00 1.29 4.65 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.230 16.362 0.222 0.000 0.000 0.000 0.000 0.000

Problem 550

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

399 399 4588 1646 0 0 0 0 -1

N.S.

1 1.00 11.50 4.13 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.422 18.883 0.185 0.000 0.000 0.000 0.000 0.000

Problem 551

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

460 460 1018 1881 0 0 0 0 -1

N.S.

1 1.00 2.21 4.09 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.615 14.654 0.224 0.000 0.000 0.000 0.000 0.000

Problem 552

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

530 530 1688 2330 0 0 0 0 -1

N.S.

1 1.00 3.18 4.40 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.864 14.073 0.264 0.000 0.000 0.000 0.000 0.000

Problem 553

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

403 403 1150 2185 0 0 0 0 -1

N.S.

1 1.00 2.85 5.42 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.352 13.376 0.304 0.000 0.000 0.000 0.000 0.000

Problem 554

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

359 359 463 1852 0 0 0 0 -1

N.S.

1 1.00 1.29 5.16 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.461 11.412 0.378 0.000 0.000 0.000 0.000 0.000

Problem 555

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

301 301 365 1583 0 0 0 0 -1

N.S.

1 1.00 1.21 5.26 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.293 8.935 0.309 0.000 0.000 0.000 0.000 0.000

Problem 556

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

244 244 341 919 0 0 0 0 -1

N.S.

1 1.00 1.40 3.77 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.188 10.448 0.230 0.000 0.000 0.000 0.000 0.000

Problem 557

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

204 204 238 639 0 0 0 0 -1

N.S.

1 1.00 1.17 3.13 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.105 11.244 0.188 0.000 0.000 0.000 0.000 0.000

Problem 558

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 99 93 143 0 0 0 0 -1

N.S.

1 1.00 0.94 1.44 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.027 0.733 0.175 0.000 0.000 0.000 0.000 0.000

Problem 559

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

106 106 138 178 0 0 0 0 -1

N.S.

1 1.00 1.30 1.68 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.016 0.920 0.184 0.000 0.000 0.000 0.000 0.000

Problem 560

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

338 338 5060 652 0 0 0 0 -1

N.S.

1 1.00 14.97 1.93 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.191 19.584 0.213 0.000 0.000 0.000 0.000 0.000

Problem 561

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

401 401 1195 1259 0 0 0 0 -1

N.S.

1 1.00 2.98 3.14 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.354 16.926 0.182 0.000 0.000 0.000 0.000 0.000

Problem 562

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

399 399 455 2477 0 0 0 0 -1

N.S.

1 1.00 1.14 6.21 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.529 10.203 0.539 0.000 0.000 0.000 0.000 0.000

Problem 563

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

325 325 416 1792 0 0 0 0 -1

N.S.

1 1.00 1.28 5.51 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.342 11.084 0.282 0.000 0.000 0.000 0.000 0.000

Problem 564

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

257 257 395 1451 0 0 0 0 -1

N.S.

1 1.00 1.54 5.65 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.212 8.957 0.221 0.000 0.000 0.000 0.000 0.000

Problem 565

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

237 237 249 837 0 0 0 0 -1

N.S.

1 1.00 1.05 3.53 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.200 5.765 0.187 0.000 0.000 0.000 0.000 0.000

Problem 566

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

236 236 244 817 0 0 0 0 -1

N.S.

1 1.00 1.03 3.46 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.162 6.070 0.188 0.000 0.000 0.000 0.000 0.000

Problem 567

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

347 347 1249 1209 0 0 0 0 -1

N.S.

1 1.00 3.60 3.48 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.229 16.839 0.188 0.000 0.000 0.000 0.000 0.000

Problem 568

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

396 396 1069 1662 0 0 0 0 -1

N.S.

1 1.00 2.70 4.20 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.356 13.006 0.194 0.000 0.000 0.000 0.000 0.000

Problem 569

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

470 470 1745 2298 0 0 0 0 -1

N.S.

1 1.00 3.71 4.89 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.525 12.824 0.221 0.000 0.000 0.000 0.000 0.000

Problem 570

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

427 427 578 4176 0 0 0 0 -1

N.S.

1 1.00 1.35 9.78 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.626 13.017 0.508 0.000 0.000 0.000 0.000 0.000

Problem 571

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

362 362 556 3674 0 0 0 0 -1

N.S.

1 1.00 1.54 10.15 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.396 13.334 0.342 0.000 0.000 0.000 0.000 0.000

Problem 572

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

337 337 503 2733 0 0 0 0 -1

N.S.

1 1.00 1.49 8.11 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.339 11.089 0.189 0.000 0.000 0.000 0.000 0.000

Problem 573

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

317 317 486 2410 0 0 0 0 -1

N.S.

1 1.00 1.53 7.60 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.290 10.635 0.183 0.000 0.000 0.000 0.000 0.000

Problem 574

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

304 304 360 1781 0 0 0 0 -1

N.S.

1 1.00 1.18 5.86 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.277 5.028 0.155 0.000 0.000 0.000 0.000 0.000

Problem 575

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

448 448 1798 3889 0 0 0 0 -1

N.S.

1 1.00 4.01 8.68 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.400 12.612 0.182 0.000 0.000 0.000 0.000 0.000

Problem 576

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

510 510 1481 4580 0 0 0 0 -1

N.S.

1 1.00 2.90 8.98 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.567 14.197 0.257 0.000 0.000 0.000 0.000 0.000

Problem 577

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

562 562 2285 5638 0 0 0 0 -1

N.S.

1 1.00 4.07 10.03 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.746 13.512 0.342 0.000 0.000 0.000 0.000 0.000

Problem 578

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

535 535 2346 7838 0 0 0 0 -1

N.S.

1 1.00 4.39 14.65 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.596 13.559 0.287 0.000 0.000 0.000 0.000 0.000

Problem 579

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

151 151 97 502 0 188 0 0 -1

N.S.

1 1.00 0.64 3.32 0.00 1.25 0.00 0.00 -0.01

time (sec)

N/A 0.073 0.213 0.225 0.000 0.700 0.000 0.000 0.000

Problem 580

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

123 123 85 396 0 167 0 0 -1

N.S.

1 1.00 0.69 3.22 0.00 1.36 0.00 0.00 -0.01

time (sec)

N/A 0.063 0.157 0.188 0.000 0.567 0.000 0.000 0.000

Problem 581

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

97 97 71 150 0 124 0 0 -1

N.S.

1 1.00 0.73 1.55 0.00 1.28 0.00 0.00 -0.01

time (sec)

N/A 0.051 0.078 0.124 0.000 0.956 0.000 0.000 0.000

Problem 582

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 52 152 0 107 0 0 -1

N.S.

1 1.00 0.69 2.03 0.00 1.43 0.00 0.00 -0.01

time (sec)

N/A 0.042 0.050 0.112 0.000 1.039 0.000 0.000 0.000

Problem 583

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 76 228 0 125 0 0 -1

N.S.

1 1.00 0.75 2.26 0.00 1.24 0.00 0.00 -0.01

time (sec)

N/A 0.053 0.095 0.095 0.000 0.653 0.000 0.000 0.000

Problem 584

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

127 127 88 262 0 145 0 0 -1

N.S.

1 1.00 0.69 2.06 0.00 1.14 0.00 0.00 -0.01

time (sec)

N/A 0.060 0.237 0.107 0.000 0.618 0.000 0.000 0.000

Problem 585

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

151 151 99 290 0 156 0 0 -1

N.S.

1 1.00 0.66 1.92 0.00 1.03 0.00 0.00 -0.01

time (sec)

N/A 0.071 0.370 0.102 0.000 0.828 0.000 0.000 0.000

Problem 586

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

200 200 139 689 0 235 0 0 -1

N.S.

1 1.00 0.70 3.44 0.00 1.18 0.00 0.00 -0.00

time (sec)

N/A 0.108 0.583 0.295 0.000 0.898 0.000 0.000 0.000

Problem 587

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

175 175 126 633 0 223 0 0 -1

N.S.

1 1.00 0.72 3.62 0.00 1.27 0.00 0.00 -0.01

time (sec)

N/A 0.094 0.836 0.251 0.000 0.769 0.000 0.000 0.000

Problem 588

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 93 513 0 190 0 0 -1

N.S.

1 1.00 0.69 3.80 0.00 1.41 0.00 0.00 -0.01

time (sec)

N/A 0.086 0.216 0.205 0.000 0.748 0.000 0.000 0.000

Problem 589

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 82 202 0 146 0 0 -1

N.S.

1 1.00 0.76 1.87 0.00 1.35 0.00 0.00 -0.01

time (sec)

N/A 0.075 0.128 0.144 0.000 0.747 0.000 0.000 0.000

Problem 590

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

112 112 87 283 0 147 0 0 -1

N.S.

1 1.00 0.78 2.53 0.00 1.31 0.00 0.00 -0.01

time (sec)

N/A 0.077 0.125 0.107 0.000 0.654 0.000 0.000 0.000

Problem 591

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

141 141 100 357 0 170 0 0 -1

N.S.

1 1.00 0.71 2.53 0.00 1.21 0.00 0.00 -0.01

time (sec)

N/A 0.087 0.292 0.112 0.000 0.631 0.000 0.000 0.000

Problem 592

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

175 175 120 362 0 191 0 0 -1

N.S.

1 1.00 0.69 2.07 0.00 1.09 0.00 0.00 -0.01

time (sec)

N/A 0.100 0.483 0.127 0.000 0.818 0.000 0.000 0.000

Problem 593

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

234 234 177 820 0 270 0 0 -1

N.S.

1 1.00 0.76 3.50 0.00 1.15 0.00 0.00 -0.00

time (sec)

N/A 0.170 2.244 0.334 0.000 1.194 0.000 0.000 0.000

Problem 594

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

189 189 134 711 0 244 0 0 -1

N.S.

1 1.00 0.71 3.76 0.00 1.29 0.00 0.00 -0.01

time (sec)

N/A 0.145 0.977 0.260 0.000 1.151 0.000 0.000 0.000

Problem 595

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

158 158 106 630 0 214 0 0 -1

N.S.

1 1.00 0.67 3.99 0.00 1.35 0.00 0.00 -0.01

time (sec)

N/A 0.139 0.323 0.221 0.000 1.179 0.000 0.000 0.000

Problem 596

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

166 166 108 303 0 182 0 0 -1

N.S.

1 1.00 0.65 1.83 0.00 1.10 0.00 0.00 -0.01

time (sec)

N/A 0.137 0.388 0.141 0.000 0.812 0.000 0.000 0.000

Problem 597

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

156 156 106 412 0 193 0 0 -1

N.S.

1 1.00 0.68 2.64 0.00 1.24 0.00 0.00 -0.01

time (sec)

N/A 0.136 0.311 0.128 0.000 0.527 0.000 0.000 0.000

Problem 598

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

199 199 132 421 0 216 0 0 -1

N.S.

1 1.00 0.66 2.12 0.00 1.09 0.00 0.00 -0.01

time (sec)

N/A 0.160 0.624 0.194 0.000 0.858 0.000 0.000 0.000

Problem 599

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

234 234 159 470 0 238 0 0 -1

N.S.

1 1.00 0.68 2.01 0.00 1.02 0.00 0.00 -0.00

time (sec)

N/A 0.179 0.853 0.140 0.000 0.736 0.000 0.000 0.000

Problem 600

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

287 287 256 1147 0 318 0 0 -1

N.S.

1 1.00 0.89 4.00 0.00 1.11 0.00 0.00 -0.00

time (sec)

N/A 0.285 1.428 0.470 0.000 0.830 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]